钻井工程设计与工艺软件的发展现状

介绍国内外钻井工程设计与工艺软件特点.经过“十一五”科技攻关,国内已经开发出具有自主知识产权的钻井工程设计与工艺软件,初步解决了我国钻井软件长期依赖于国外软件的局面,基本满足国内油田钻井工程设计与施工分析的需要.     

航空机载嵌入式控制软件需求建模的形式化工程方法

嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。     

建筑项目信息的收集与分析

建筑项目信息的收集是招投标成功的前提。为此阐述了建筑项目信息的形成过程，重点分析了项目信息的收集渠道、分析和处置方法。并指出只有及时、准确地收集、分析、处置信息，才能在竞争中保持优胜地位。     

基于树宽的警示传播算法收敛性分析

警示传播算法作为一种基本的信息传播算法,其收敛时求解可满足性问题十分有效,但因子图结构较为复杂时,算法往往不收敛导致求解失败。为了对这种现象给予理论解释,同时对警示传播算法收敛性进行有效分析,利用树分解方法构造了命题公式对应因子图的树宽度量模型,计算可满足随机实例的树宽。建立树宽与警示传播算法收敛性之间的关系,给出了基于树宽的警示传播算法收敛性判定条件。通过实验分析,结果表明该方法有效,对于分析其他信息传播算法收敛性分析研究具有十分重要的意义。     

影响3D电视图像舒适度的双眼串扰范围研究

本文主要研究了影响立体电视图像舒适度的主要因素,结合5点双眼串扰测试研究双眼串扰对立体电视舒适度的影响。通过30名观看者对具有不同串扰值的立体电视机的主观测试及实验数据分析,给出了影响3D电视图像舒适度的双眼串扰范围。实验结果对评价3D电视图像舒适度提供了依据,也对今后的研究具有指导意义。     

空间用斯特林型脉管制冷机的应用现状研究

由于具有效率高、可靠性强和寿命长等优点,斯特林型脉管制冷机在空间应用方面具有明显优势,近年来也逐渐成为人们研究的热点领域。通过对国内外斯特林型脉管制冷机在空间应用中的最新研究进展进行分析,展望了斯特林型脉管制冷机的应用前景和发展趋势。最后阐述了百赫兹脉管制冷机的研究现状及其关键技术。     

YBL—I型耐腐液位计的研制

将应变式双孔平行梁式传感器与变浮力测量技术相结合，研制出YBL-I型耐腐液位计。整台仪器无可动部件，F46防护的拼装型浮子解决了硫酸腐蚀问题，可进行在线连续测量。现场使用证明，测量精度高，耐腐蚀性能好。     

新型辅助加工技术提高肉制品消化特性的研究进展

随着国民生活质量的提高,人们对肉制品的需求也不再仅仅局限于感官质量和卫生质量等基本特性。肉制品中蛋白质含量高达10%-20%,是人体不可缺少的营养物质。近年来,如何提高肉制品的消化率这一问题受到了广泛的关注。目前,改善肉制品中蛋白质的结构和功能特性是提高消化率的主要可行性途径。在传统蒸煮、烘烤等加工方式的前提下,肉制品的制作过程中辅以新型加工技术(如超声波,超高压,脉冲电场,真空低温烹饪,酶解技术等),可以达到改变蛋白质结构、提高蛋白质分解酶活性的目的,从而提高肉制品的消化率。本文系统综述新型辅助加工技术在提高肉制品消化特性方面的研究进展,旨在探求更经济有效的加工方法,为改善提高肉制品的消化特性提供理论基础。     

纳米陶瓷电絮凝技术处理煤层气排水的实验研究

煤层气是一种重要的能源资源,但在开采过程中会产生大量的煤层气排水。为了有效处理煤层气排水中的大量有机物和无机盐等污染物,解决煤层气排水难以有效处理的问题,本研究提出了纳米陶瓷电絮凝技术深度处理煤层气排水的方法。试验结果表明:当电解时间60min,极板间距12mm,电流密度9mA/cm~2,极板对数2对和抽吸泵出口压力为0.08MPa时,该工艺处理后的COD、SS、全盐量、Fe和石油类等污染物指标均可满足《地表水环境质量标准》(GB3838—2002)中Ⅴ类水体标准。     

铸造铝铜合金的冲击韧性

研究了铝铜系铸造合金的冲击韧性与显微结构和拉伸性能之间的关系 .结果表明 ,显微结构对冲击韧性和拉伸性能有着相似的影响规律 ,即晶粒尺寸越小 ,冲击韧性值越大 .在本文实验条件下 ,当强度比 (σ0 .2 /σb)小于 0 .5 5 ,延伸率大于 1 5 %时 ,合金表现出高的冲击韧性 .